Normal 0 21 false false false ES-CO X-NONE X-NONE MicrosoftInternetExplorer4 /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Tabla normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-qformat:yes; mso-style-parent:""; mso-padding-alt:0cm 5.4pt 0cm 5.4pt; mso-para-margin:0cm; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Calibri","sans-serif"; mso-bidi-font-family:CalistoMT;} From his theory of communicative action (1981) until his later political writings, the philosopher Jürgen Habermas has put on the juridical language the main responsibility of describing the essence of Civil Society. That´s why the Habermasian analysis becomes a defence of a capitalistic conception of the actual society, (...) turning around a strict notion of individual. (shrink)

Esta obra ofrece al lector un amplio relato de las enseñanzas de la Conferencia Episcopal Española a lo largo de todos los años posteriores al Concilio Vaticano II. Las enseñanzas de los Obispos se presentan según su temática, antecedentes y objetivos, y en su contexto social. Esta presentación permite al lector tener pleno conocimiento de la interpretación que los obispos hicieron de los acontecimientos históricos de la época. Por último, se añaden algunas observaciones críticas para comparar las ideas de los (...) obispos sobre los laicos con la doctrina del Concilio. (shrink)

John Rawls ha manifestado en diversas ocasiones que su justicia como equidad es una teoría contractualista inspirada en la obra de J. Locke, J. J. Rousseau e I. Kant. Sin embargo, en el desarrollo de su visión sobre la justicia es posible encontrar huellas de otros filósofos como es el caso de la obra David Hume. En este artículo, se estudia la inserción de tres conceptos del naturalismo del filósofo escoces en la deontología moral que sustenta la justicia como equidad: (...) las “circunstancias de la justica”, el “sentido de la justicia” y el “deber natural de justicia”. (shrink)

A humane and respectful treatment of patients by the staff has inspired the creation of the Department of Humanism and Bioethics at the University Hospital of Fundación Santa Fe de Bogotá which not only has met, but even surpassed established goals. Since 2013, the Department has developed different activities that have made it possible to respond more ethically to the daily needs of patients and to strengthen other humanization processes. Currently, the Department of Humanism and Bioethics addresses five lines of (...) work: a continuing education program, an assistance advisory program, support, and strengthening of existing committees, support for the activities of our institutional humanization program and research activities. This article updates the experience of this Department, specifically focusing on notable changes in the last years. (shrink)

: This article presents a definition of action that links empirical facts with normative reasons to form an explanation of rational agency with predictive capabilities. This idea is developed along the lines of pragmatism which holds that a set of beliefs is a matter of linguistic evaluation from a particular community. This notion is related to the idea of facts as empirical information that is cognitively apprehended. Such information is regarded as an input which is later contrasted to expected behavioral (...) responses from the agent. The deviation of such observed behavior with respect to the expected one represents an evaluative output that is understood as the definition of reasonably expected behavior. Action is, thus, understood as the outcome of such an evaluative process. (shrink)

The numerical study of a glycolytic model formed by a system of three delay differential equations reveals a multiplicity of stable coexisting states: birhythmicity, trirhythmicity, hard excitation and quasiperiodic with chaotic regimes. For different initial functions in the phase space one may observe the coexistence of two different quasiperiodic motions, the existence of a stable steady state with a stable torus, and the existence of a strange attractor with different stable regimes (chaos with torus, chaos with bursting motion, and chaos (...) with different periodic regimes). For a single range of the control parameter values our system may exhibit different bifurcation diagrams: in one case a Feigenbaum route to chaos coexists with a finite number of successive periodic bifurcations, in other conditions it is possible to observe the coexistence of two quasiperiodicity routes to chaos. These studies were obtained both at constant input flux and under forcing conditions. (shrink)

The lambda calculus is a universal programming language. It can represent the computable functions, and such offers a formal counterpart to the point of view of functions as rules. Terms represent functions and this allows for the application of a term/function to any other term/function, including itself. The calculus can be seen as a formal theory with certain pre-established axioms and inference rules, which can be interpreted by models. Dana Scott proposed the first non-trivial model of the extensional lambda calculus, (...) known as $ D_{\infty }$, to represent the $\lambda $-terms as the typical functions of set theory, where it is not allowed to apply a function to itself. Here we propose a construction of an $\infty $-groupoid from any lambda model endowed with a topology. We apply this construction for the particular case $D_{\infty }$, and we see that the Scott topology does not provide enough information about the relationship between higher homotopies. This motivates a new line of research focused on the exploration of $\lambda $-models with the structure of a non-trivial $\infty $-groupoid to generalize the proofs of term conversion to higher-proofs in $\lambda $-calculus. (shrink)

An appropriate framework is put forward for the construction of $$\lambda $$ -models with $$\infty $$ -groupoid structure, which we call homotopic $$\lambda $$ -models, through the use of an $$\infty $$ -category with cartesian closure and enough points. With this, we establish the start of a project of generalization of Domain Theory and $$\lambda $$ -calculus, in the sense that the concept of proof (path) of equality of $$\lambda $$ -terms is raised to higher proof (homotopy).

One takes advantage of some basic properties of every homotopic \(\lambda\)-model (e.g. extensional Kan complex) to explore the higher \(\beta\eta\)-conversions, which would correspond to proofs of equality between terms of a theory of equality of any extensional Kan complex. Besides, Identity types based on computational paths are adapted to a type-free theory with higher \(\lambda\)-terms, whose equality rules would be contained in the theory of any \(\lambda\)-homotopic model.

The tree-based data structure of -tree for propositional formulas is introduced in an improved and optimised form. The -trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the size of a negation normal form A (...) at (at most) quadratic cost. The reduction strategies are aimed at decreasing the number of required branchings and, therefore, these strategies allow to limit the size of the search space for the SAT problem. (shrink)

Since the mid-20th century, the study of Self-Regulated Learning has aimed to identify the distinctive characteristics that enable individuals to acquire new knowledge and skills under their control. The theory of Internal Self-Regulation vs. External-Regulation in Learning has postulated that a large number of self-regulatory variables are mediated by regulated/non-regulated or dysregulated features of the context. After signing their informed consent, a total of 616 university students completed validated instruments of SRL vs. ERL, behavioral regulation, regulatory teaching, and metacognitive study (...) control strategies. Using an ex-post facto design and correlation, regression, structural equation model and mediation analyses, the present research aimed to establish multicausal predictive relationships among the analyzed variables. Results indicated positive predictive effects between the external regulation variables on the self-regulation variables in learning [regulation /non-regulation /dysregulation ]; as well as positive predictive effects between SRL on SRB, RT and metacognitive SRS. Additionally, external regulation not only predicted but mediated numerous relations among the variables studied. Other findings and important considerations for future research in the field of self-regulation are discussed. (shrink)